1. A laboratory manual for compiler and operating system implementation
Author: Halstead, Maurice Howard
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Compilers )Computer programs(
Classification :
QA
76
.
6
.
H32
2. Advanced compiler design and implementation
Author: Muchnick, Steven S.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Compilers )Computer programs(,، Systems programming )Computer science(
Classification :
QA
76
.
76
.
C65
.
M8
1997
3. Advanced compiler design and implementation /
Author: Steven S. Muchnick
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Compilers (Computer programs),Systems programming (Computer science),ALGORITHME COMPILATION,allocation registre,compilation,conception compilateur,contrôle flot,flot donnée,GENERATEUR CODE,hiérarchie mémoire,NOTATION ALGORITHMIQUE,optimisation globale,REPRESENTATION INTERMEDIAIRE
Classification :
QA76
.
76
.
C65
M8
1997
4. Algorithms + data structures=programs /
Author: Niklaus Wirth.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer algorithms.,Computer programming.,Data structures (Computer science),Computers.,Algorithmes.,Programmation (Informatique),Structures de données (Informatique),Algorithmes.,Algorithmus,Algorithmus.,Algoritmen.,Computer algorithms.,Computer programming.,Data structures (Computer science),Datastructuren.,Datenstruktur,Datenstruktur.,Langages de programmation-- Problèmes et exercices.,Logiciels.,Ordinateurs-- Programmation.,PASCAL,PASCAL (Programmiersprache),PASCAL.,Programmation (mathématiques),Programmeren (computers),Programmiersprache,Programmiersprache.,Programmierung,Programmierung.,Softwareentwicklung,Softwareentwicklung.,Structures de données (informatique)
Classification :
QA76
.
6
.
W56
5. Automata, Languages and Programming :
Author: edited by Hermann A. Maurer.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Information theory.,Software engineering.,Theory of Computation.
6. Automated technology for verification and analysis :
Author: Tevfik Bultan, Pao-Ann Hsiung (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses,Automatic theorem proving, Congresses
Classification :
QA76
.
9
.
A96
A88
2011
7. Code Generation - Concepts, Tools, Techniques :
Author: edited by Robert Giegerich, Susan L. Graham.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.
8. Compiler design theory
Author: / Philip M. Lewis II, Daniel J. Rosenkrantz, Richard E. Stearns
Library: Library of College of Science University of Tehran (Tehran)
Subject: Compilers (Computer programs)
Classification :
QA
76
.
6
.
L47
1976
9. Computational artifacts :
Author: Raymond Turner.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Philosophy.,Computer science-- Philosophy.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.
Classification :
QA76
.
167
10. Formal methods for industrial critical systems :
Author: Falk Howar, Jiří Barnat (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programs-- Reliability, Congresses.,Computer programs-- Verification, Congresses.,Computer software-- Reliability, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Software engineering, Congresses.,Computer Systems Organization and Communication Networks.,Programming Languages, Compilers, Interpreters.,Simulation and Modeling.,Software Engineering.,The Computing Profession.,Theory of Computation.,3D graphics & modelling.,Computer networking & communications.,Computer programs-- Reliability.,Computer programs-- Verification.,Computer science.,Computer software-- Reliability.,Computer software-- Verification.,Computers-- Computer Science.,Computers-- Computer Simulation.,Computers-- General.,Computers-- Hardware-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Programming & scripting languages: general.,Software engineering.,Software Engineering.
Classification :
QA76
.
9
.
F67
I58
2018eb
11. Formal methods, foundations and applications :
Author: Adenilso Simao, Carroll Morgan (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal methods (Computer science), Congresses
Classification :
QA76
.
9
.
F67
B73
2011
12. Formal modeling :
Author: Gul Agha, Olivier Danvy, José Meseguer. (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Verification,Formal methods (Computer science),Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Techniques,Software Engineering
Classification :
QA76
.
9
.
F67
F67
2011
13. Formal modeling and analysis of timed systems :
Author: Uli Fahrenberg, Stavros Tripakis (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer simulation, Congresses.,Formal methods (Computer science), Congresses.,Temporal automata, Congresses.
Classification :
QA76
.
9
.
C65
F67
2011
14. Formal models, languages and applications /
Author: editors, K.G. Subramanian, K. Rangarajan, M. Mukund.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Compilers (Computer programs),Computational complexity.,Formal languages.,Compilers (Computer programs),Computational complexity.,COMPUTERS-- Programming Languages-- General.,Formal languages.
Classification :
QA267
.
3
.
F698
2006eb
15. Guide to ILDJIT
Author: Simone Campanoni.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Compilers (Computer programs),Virtual computer systems-- Programming.
16. Languages and Compilers for Parallel Computing :
Author: edited by Hironori Kasahara, Keiji Kimura.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Operating systems (Computers),Software engineering.
Classification :
QA76
.
58
E358
2013
17. Languages, compilers, and run-time systems for scalable computers : 5th International Workshop, LCR 2000, Rochester, NY, USA, May 2000 : selected papers
Author: Sandhya Dwarkadas )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Programming languages )Electronic computers(,Congresses ، Compilers )Computer programs(,Congresses ، Computer architecture
Classification :
QA
76
.
L28
Vol
.
1915
18. Languages, compilers, and tools for embedded systems : ACM SIGPLAN Workshop LCTES 2000, Vancouver, Canada, June 18, 2000 : proceedings
Author: Jack Davidson, Sang Lyul Min, )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Embedded computer systems,Congresses ، Programming languages )Electronic computers(,Congresses ، Compilers )Computer programs(
Classification :
QA
76
.
L28
Vol
.
1985
19. Languages, compilers, and tools for embedded systems : ACM SIGPLAN Workshop LCTES 2000, Vancouver, Canada, June 18, 2000 : proceedings
Author: ACM SIGPLAN Workshop LCTES 2000, Vancouver, 2000
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Embedded computer systems- Programming- Congresses ► Programming languages (Electronic computers)- Congresses ► Compilers (Computer programs)- Congresses
Classification :
005
A184l
20. Models in Software Engineering
Author: edited by Jörg Kienzle
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science,Computer simulation,Information Systems,Logic design,Software engineering,Computer Science,Information Systems Applications (incl. Internet),Logics and Meanings of Programs,Management of Computing and Information Systems,Programming Languages, Compilers, Interpreters,Simulation and Modeling,Software Engineering
